Théorème de modulation : $$F({{f(t)\cos(2\pi\xi_0t)}})(\xi)={{\frac12\left[ F(f)(\xi-\xi_0)+F(f)(\xi+\xi_0)\right]}}$$
